And von Neumann looked upon the machine, and saw that it was crufty. 冯诺依曼注视着机器,洞察了它的混沌。
To improve the efficiency of inference is a crucial problem in implementation of logic programming language. A variety of different control strategies based on Von Neumann machine has been presented in the past few years. 本文对当前在Von-Neumann机上,实现逻辑程序设计语言所采用的推理控制策略,作了较详细的论述。
This paper analyzes two questions of simulating TM in Von Neumann machine and designs an integrated TM simulation system basing on the TM model. 文章分析了在vonNeumann机上仿真图灵机存在的两个问题,并针对单带图灵机模型设计了一个完整的图灵机模拟系统。